Software Challenges in Achieving Space Safety
نویسنده
چکیده
The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Summary: Techniques developed for hardware reliability and safety do not work on software-intensive systems; software does not satisfy the assumptions underlying these techniques. The new problems and why the current approaches are not effective for complex, software-intensive systems are first described. Then a new approach to hazard analysis and safety-driven design is presented. Rather than being based on reliability theory, as most current safety engineering techniques are, the new approach builds on system and control theory.
منابع مشابه
Dagstuhl Seminar 15162 Software and Systems Traceability for Safety - Critical Projects
This report documents the program and the outcomes of Dagstuhl Seminar 15162 on “Software and Systems Traceability for Safety-Critical Projects”. The event brought together researchers and industrial practitioners working in the field of safety critical software to explore the needs, challenges, and solutions for Software and Systems Traceability in this domain. The goal was to explore the gap ...
متن کاملIs Training Contractors in Safety Issues Effective in Minimizing Occupational Accident Rates? A Retrospective Cohort Study
Background: Safety of contractors is one of the key safety challenges at construction. Safety training, as an essential prerequisite for achieving safety qualification certificates by contractors, could decrease accident rates in the construction. This study aims to evaluate the effectiveness of training construction contractors in safety issues in minimizing occupational accidents in a five-ye...
متن کاملChallenges of Achieving Green Hospital Criteria: A Mixed Method Research in Iran
Background and Aim: Green Hospital is a concept that protects the environment from destructive human actions. It has emerged to achieve the goals of sustainable development, following the world wars, the industrial revolution, and the increment of environmental destruction. Further, Hospitals have moved towards the implementation of green hospital criteria according to their social responsibili...
متن کاملKnowledge Representation for Real-time Plan Development
The Cooperative Intelligent Real-time Control Architecture employs an integrated planningscheduling system to create plans that guarantee system safety in complex real-time environments. The planner uses state transitions with discrete-valued features to build and schedule plans that maintain system safety while achieving mission goals. The product, a real-time control plan, specifies actions p...
متن کاملFairness and Stability Analysis of Congestion Control Schemes in Vehicular Ad-hoc Networks
Cooperative vehicle safety (CVS) systems operate based on broadcast of vehicle position and safety information to neighboring cars. The communication medium of CVS is a vehicular ad-hoc network. One of the main challenges in large scale deployment of CVS systems is the issue of scalability. To address the scalability problem, several congestion control methods have been proposed and are current...
متن کامل